package sketch.main;

import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

public class SketchTestMainTest extends TestCase {
	
	public static Test suite() {
		return new TestSuite(SketchTestMainTest.class);
	}
	
//	public void testRandomValueWithSetUpTearDown() {
//		String[] args = new String[]{"--test_sketch=./tmp/RandomValueWithSetUpTearDown.java",
//				"--junit_name=sketch.test.RandomValueWithSetUpTearDown",
//				"--random_time=2",
//				"--fuzz_time=2"
//				};
//		        SketchTestMain.main(args);
//	}
	
//	public void testAllExamples() {
//		String[] args = new String[]{"--test_sketch=./tmp/TestSketchExamples.java", "--symbolic_class=treemap.TreeMap",
//				"--symbolic_method=remove", "--random_time=4", "--fuzz_time=2", "--junit_name=sketch.main.TestSketchExamples"};
//		SketchTestMain.main(args);
//	}
	
	/*** comment out temporarily*/
//	public void testSimpleTransformation() {
//		String[] args = new String[]{"--test_sketch=./tmp/OnlySimpleTransformationExample.java",
//				"--junit_name=sketch.main.OnlySimpleTransformationExample"};
//		SketchTestMain.main(args);
//	}
	
	/*** comment out temporarily
	*/
//	public void testRandomValues() {
//		String[] args = new String[]{"--test_sketch=./tmp/OnlyRandomValueExample.java",
//		"--junit_name=sketch.main.OnlyRandomValueExample", "--symbolic_method=remove", "--random_time=1"
//		, "--fuzz_time=2", "--symbolic_class=treemap.TreeMap"};
//        SketchTestMain.main(args);
//	}
//	
//	public void testSymbolicValues() {
//		String[] args = new String[]{"--test_sketch=./tmp/OnlySymbolicValueExample.java",
//				"--junit_name=sketch.main.OnlySymbolicValueExample", "--symbolic_method=remove", "--symbolic_class=treemap.TreeMap"};
//		        SketchTestMain.main(args);
//	}
	
	public void testSymbolicValues() {
	String[] args = new String[]{"--test_sketch=./testfiles/sketch/main/SymbolicWithSetupTearDown.java",
			"--junit_name=sketch.main.SymbolicWithSetupTearDown", "--symbolic_method=remove", "--symbolic_class=treemap.TreeMap"};
	        SketchTestMain.main(args);
}
	
//	
//	public void testRandomSymbolicValues() {
//		String[] args = new String[]{"--test_sketch=./tmp/MixRandomSymbolicValuesExample.java",
//				"--junit_name=sketch.main.MixRandomSymbolicValuesExample", "--symbolic_method=remove",
//				"--symbolic_class=treemap.TreeMap",
//				"--random_time=1",
//				"--fuzz_time=1"
//				};
//		        SketchTestMain.main(args);
//	}
	
//	public void testTransformationRandomSymbolicValues() {
//		String[] args = new String[]{"--test_sketch=./tmp/MixTransformationWithValuesExample.java",
//				"--junit_name=sketch.main.MixTransformationWithValuesExample", "--symbolic_method=remove",
//				"--symbolic_class=treemap.TreeMap",
//				"--random_time=1",
//				"--fuzz_time=1"
//				};
//		        SketchTestMain.main(args);
//	}
}
